// Copyright(c) Sonosemi Medical Ltd. Embedded Software Team.
// Author: Zhang Yisong(zhangyisong@sonosemi.com)

#pragma once

#if __has_include("pw_sync/mutex.h")
#define CONFIG_USE_THREAD
#include "boost/sml.hpp"
#include "internal/active_policy.hpp"
#include "internal/concepts/active_policy.hpp"
#include "pw_sync/mutex.h"

namespace active {

namespace rtossafe {
static constexpr auto pigweed = internal::Policy<boost::sml::thread_safe<pw::sync::Mutex>>{};
} // namespace rtossafe

static constexpr auto threadsafe = rtossafe::pigweed;

} // namespace active
#endif